Search results for "binary [neutron star]"
showing 10 items of 544 documents
The b-chromatic number of power graphs
2003
The b-chromatic number of a graph G is defined as the maximum number k of colors that can be used to color the vertices of G, such that we obtain a proper coloring and each color i, with 1 ≤ i≤ k, has at least one representant x_i adjacent to a vertex of every color j, 1 ≤ j ≠ i ≤ k. In this paper, we discuss the b-chromatic number of some power graphs. We give the exact value of the b-chromatic number of power paths and power complete binary trees, and we bound the b-chromatic number of power cycles.
Connections Between Single-Level and Bilevel Multiobjective Optimization
2011
The relationship between bilevel optimization and multiobjective optimization has been studied by several authors and there have been repeated attempts to establish a link between the two. We unify the results from the literature and generalize them for bilevel multiobjective optimization. We formulate sufficient conditions for an arbitrary binary relation to guarantee equality between the efficient set produced by the relation and the set of optimal solutions to a bilevel problem. In addition, we present specially structured bilevel multiobjective optimization problems motivated by real-life applications and an accompanying binary relation permitting their reduction to single-level multiob…
Normal, Abby Normal, Prefix Normal
2014
A prefix normal word is a binary word with the property that no substring has more 1s than the prefix of the same length. This class of words is important in the context of binary jumbled pattern matching. In this paper we present results about the number \(\textit{pnw}(n)\) of prefix normal words of length n, showing that \(\textit{pnw}(n) =\Omega\left(2^{n - c\sqrt{n\ln n}}\right)\) for some c and \(\textit{pnw}(n) = O \left(\frac{2^n (\ln n)^2}{n}\right)\). We introduce efficient algorithms for testing the prefix normal property and a “mechanical algorithm” for computing prefix normal forms. We also include games which can be played with prefix normal words. In these games Alice wishes t…
Unification of Graphs and Relations in Mizar
2020
Summary A (di)graph without parallel edges can simply be represented by a binary relation of the vertices and on the other hand, any binary relation can be expressed as such a graph. In this article, this correspondence is formalized in the Mizar system [2], based on the formalization of graphs in [6] and relations in [11], [12]. Notably, a new definition of createGraph will be given, taking only a non empty set V and a binary relation E ⊆ V × V to create a (di)graph without parallel edges, which will provide to be very useful in future articles.
Genetic parameters for early lamb survival and growth in Scottish Blackface sheep.
2008
Data from: Constant, cycling, hot and cold thermal environments: strong effects on mean viability but not on genetic estimates
2012
It has frequently been suggested that trait heritabilities are environmentally sensitive, and there are genetic trade-offs between tolerating different environments such as hot and cold or constant and fluctuating temperatures. Future climate predictions suggest an increase in both temperatures and their fluctuations. How species will respond to these changes is uncertain, particularly as there is a lack of studies which compare genetic performances in constant vs. fluctuating environments. In this study, we used a nested full-sib/half-sib breeding design to examine how the genetic variances and heritabilities of egg-to-adult viability differ at high and low temperatures with and without da…
All-sky search in early O3 LIGO data for continuous gravitational-wave signals from unknown neutron stars in binary systems
2021
Rapidly spinning neutron stars are promising sources of continuous gravitational waves. Detecting such a signal would allow probing of the physical properties of matter under extreme conditions. A significant fraction of the known pulsar population belongs to binary systems. Searching for unknown neutron stars in binary systems requires specialized algorithms to address unknown orbital frequency modulations. We present a search for continuous gravitational waves emitted by neutron stars in binary systems in early data from the third observing run of the Advanced LIGO and Advanced Virgo detectors using the semicoherent, GPU-accelerated, binaryskyhough pipeline. The search analyzes the most s…
Convergence Analysis of Distributed Set-Valued Information Systems
2016
This paper focuses on the convergence of information in distributed systems of agents communicating over a network. The information on which the convergence is sought is not rep- resented by real numbers, as often in the literature, rather by sets. The dynamics of the evolution of information across the net- work is accordingly described by set-valued iterative maps. While the study of convergence of set-valued iterative maps is highly complex in general, this paper focuses on Boolean maps, which are comprised of arbitrary combinations of unions, intersections, and complements of sets. For these important class of systems, we provide tools to study both global and local convergence. A distr…
Augu nosaukumu autori
2021
Raksts satur informāciju par Latvijas Universitātes Muzeja Botānikas un mikoloģijas kolekciju herbārija bibliotēkas krājumā esošo Ričarda Kenneta Brammita un Emmas Pouelas monogrāfiju “Augu nosaukumu autori: augu zinātnisko nosaukumu autoru saraksts ar ieteicamajām to nosaukumu formām, ieskaitot saīsinājumus” (Authors of plant names: a list of authors of scientific names of plants, with recommended standard forms of their names, including abbreviations) un tajā aprakstīto uzvārda “standarta formu” augu nosaukumu autoriem piešķiršanas procesu 20. gs. 80.-90. gados.
Predicting Coaches' Adherence/Dropout: A Prospective Study
2015
The objective of this study was to examine motivational variables based on self-determination theory (SDT) and positive psychology as predictors of coaches' adherence and dropout. A prospective study was performed using a sample of 286 coaches who were tracked over a two-year period. Initially coaches' motivation and psychological need satisfaction were measured; two years later they were contacted and asked if they were still coaching in their original sport. Those who did not were considered as drop-outs for the current study. Logistic binary regression analyses were performed to analyse predictors of persistence and dropout. Need Satisfaction Index (NSI), perceived competence and percei…